Bitopological Vietoris spaces and positive modal logic

نویسنده

  • Frederik Möllerström Lauridsen
چکیده

Using the isomorphism from [3] between the category Pries of Priestley spaces and the category PStone of pairwise Stone spaces we construct a Vietoris hyperspace functor on the category PStone related to the Vietoris hyperspace functor on the category Pries [4, 18, 24]. We show that the coalgebras for this functor determine a semantics for the positive fragment of modal logic. The sole novelty of the present work is the explicit construction of the Vietoris hyperspace functor on the category PStone as well as the phrasing of otherwise well-known results in a bitopological language. ∗This constitutes the final report for a individual project under the supervision of Nick Bezhanishvili at the Institute of Logic, Language and Computation. †[email protected]

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nabla Algebras and Chu Spaces

This paper is a study into some properties and applications of Moss’ coalgebraic or ‘cover’ modality ∇. First we present two axiomatizations of this operator, and we prove these axiomatizations to be sound and complete with respect to basic modal and positive modal logic, respectively. More precisely, we introduce the notions of a modal ∇-algebra and of a positive modal ∇-algebra. We establish ...

متن کامل

Modal Operators on Compact Regular Frames and de Vries Algebras

In [7] we introduced the category MKHaus of modal compact Hausdorff spaces, and showed these were concrete realizations of coalgebras for the Vietoris functor on compact Hausdorff spaces, much as modal spaces are coalgebras for the Vietoris functor on Stone spaces. Also in [7] we introduced the categories MKRFrm and MDV of modal compact regular frames, and modal de Vries algebras as algebraic c...

متن کامل

Modal compact Hausdorff spaces

We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff spaces. Modal compact regular frames and modal de Vries algebras are introduced as algebraic counterparts of modal compact Hausdorff spaces, and dualities are given for the categories involved. These extend the familiar Isbell and de Vries d...

متن کامل

Modal De Vries Algebras

We introduce modal de Vries algebras and develop a duality between the category of modal de Vries algebras and the category of coalgebras for the Vietoris functor on compact Hausdorff spaces. This duality serves as a common generalization of de Vries duality between de Vries algebras and compact Hausdorff spaces, and the duality between modal algebras and modal spaces.

متن کامل

Coalgebras and Modal Expansions of Logics

In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on Sreferential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015